2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Ralf Treinen
Категория:
Компьютеры
7.24 Mb
#2
Constraints in Computational Logics: Theory and Applications, CCL'99
Hubert Comon
,
Claude Marche
,
Ralf Treinen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
2.01 Mb
#3
Rewriting Techniques and Applications, 20 conf., RTA 2009
Ralf Treinen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
4.34 Mb